Condicional estricto

En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad. Dadas dos proposiciones cualquiera A y B, la fórmula A → B dice que A implica materialmente B, mientras que ${\displaystyle \Box (p\rightarrow q)}$ dice que A implica estrictamente B.

El condicional estricto es el resultado del trabajo de Clarence Irving Lewis por encontrar un condiconal para la lógica que capturara mejor el comportamiento de los condicionales en el lenguaje natural. Su propuesta logra evitar algunas paradojas de la implicación material, pero recae en otras. Para evitarlas, algunos lógicos han creado condiconales contrafácticos. Otros, como Paul Grice, han usado la implicación conversacional para argumentar que, pese a las aparentes dificultades, el condicional material es una traducción suficientemente buena para el condicional del lenguaje natural. Aún otros han recurrido a la lógica relevante para resolver las paradojas.